Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
121	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
122	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
123	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-06-06 20:41:57 Mathematical analysis Function Constraint logic programming Unification Exponentiation Derivative Mathematics Logic programming Functions and mappings
124	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
125	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
126	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
127	Principles and Methods for Automated Inference Rina Dechter and Irina Rish Information and Computer Science Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:22 Functions and mappings Statistics Bayesian network Constraint satisfaction Constraint optimization Function Constraint logic programming Constraint programming Mathematics Mathematical optimization
128	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming
129	Proceedings Template - WORD Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Constraint programming Programming paradigms Type theory Data modeling Relational model Constraint satisfaction problem Subtype polymorphism Structure Logic Software engineering Mathematical logic
130	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering

UPDATE